Feeds to Scour
SubscribedAll
Scoured 9576 posts in 1.15 s
Day 77: Python Trailing Zeros in Factorial – Genius Number Theory Trick to Count Zeros in n! Without Computing the Huge Number
dev.to·15h·
Discuss: DEV
📐Error Bounds
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Overengineering float serialization for no good reason
wejn.org·2d
🧪Binary Fuzzing
Preview
Report Post
Show HN: Rhettilator – An exact-fraction calculator in base 360
the-rhettilator-9352543e.base44.app·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
📐Linear Algebra
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.com·2d
🎯Arithmetic Coding Theory
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
Variationally correct operator learning: Reduced basis neural operator with a posteriori error estimation
arxiv.org·2d
🧠Machine Learning
Preview
Report Post
Time in C++: Inter-Clock Conversions, Epochs, and Durations
sandordargo.com·4d·
Discuss: Hacker News
🎯Emulation Accuracy
Preview
Report Post
Resurrecting my old Turbo Pascal homework with AI
benashford.github.io·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
Preview
Report Post
Autonomous Uncertainty Quantification for Computational Point-of-care Sensors
arxiv.org·2d
🧲Magnetic Resonance
Preview
Report Post
TTL calculator with diagnostic mode
hackster.io·4d
⚡Circuit Archaeology
Preview
Report Post
When compilers surprise you
xania.org·3d·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
Tool-Augmented Hybrid Ensemble Reasoning with Distillation for Bilingual Mathematical Problem Solving
arxiv.org·4d
🧮SMT Solvers
Preview
Report Post
On Factoring and Power Divisor Problems via Rank-3 Lattices and the Second Vector
arxiv.org·4d
🧮SMT Solvers
Preview
Report Post
Research Reveals the Optimal Way to Optimize
wired.com·6d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.com·5d
🎯Proof Tactics
Preview
Report Post
Understanding AI Benchmarks
blog.sshh.io·6d·
Discuss: Hacker News
⚡Performance Mythology
Preview
Report Post
Bahram Beyzaie, Iranian Director of Venice Award-Winning ‘Bashu, the Little Stranger’ Dies at 87
hollywoodreporter.com
·1h
🎭Cinema Architecture
Preview
Report Post
Myanmar elections: voting begins under junta stranglehold with Aung San Suu Kyi banned
theguardian.com·2h
🇵🇱Polish Assembly
Preview
Report Post